:- dynamic penguin/1, abird/1.

/*
*	O
*/



%Maximum number of body literals
option(max_body_literals, 2).

%Maximum number of rules
option(max_num_rules, 2).
	
%Maximum depth of the proof
option(max_depth, 400).

option(strategy, breadth).
/*
*	B
*/


bird(a).
bird(b).
canfly(a).

 
/*
*	M
*/


modeh(penguin(+bird)).  

modeh(abird(+bird), [name(a)]).

modeb(abird(+bird), [name(ab)]).
modeb(\+ canfly(+bird)).



/*
*	E
*/


example(penguin(b), 1).
example(penguin(a), -1).
